More from this Author

Formal Methods and Testing

by Robert M. Hierons (Editor), Jonathan P. Bowen (Editor), Mark Harman (Editor)